LÖWE, BENEDIKT: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

A multiplication operation for the hierarchy of norms

Block, Alexander C., Löwe, Benedikt

Journal:

Annals of Pure and Applied Logic

Year:

2018

Language:

english

File:

PDF, 902 KB

english, 2018

2

Towards a New Epistemology of Mathematics

Bernd Buldt, Benedikt Löwe, Thomas Müller

Journal:

Year:

2008

Language:

english

File:

PDF, 747 KB

english, 2008

3

The modal logic of forcing

Hamkins, Joel David, Löwe, Benedikt

Journal:

Transactions of the American Mathematical Society

Year:

2007

Language:

english

File:

PDF, 294 KB

english, 2007

4

[Lecture Notes in Computer Science] Programs, Proofs, Processes Volume 6158 || Haskell before Haskell: Curry’s Contribution to Programming (1946–1950)

Ferreira, Fernando, Löwe, Benedikt, Mayordomo, Elvira, Mendes Gomes, Luís

Year:

2010

Language:

english

File:

PDF, 182 KB

english, 2010

5

[Lecture Notes in Computer Science] New Computational Paradigms Volume 3526 || Abstract Geometrical Computation: Turing-Computing Ability and Undecidability

Cooper, S. Barry, Löwe, Benedikt, Torenvliet, Leen

Year:

2005

Language:

english

File:

PDF, 184 KB

english, 2005

6

The Modal Logic of Forcing

Joel David Hamkins and Benedikt Löwe

Journal:

Transactions of the American Mathematical Society

Year:

2008

Language:

english

File:

PDF, 2.58 MB

english, 2008

7

THE MODAL LOGIC OF INNER MODELS

INAMDAR, TANMAY, LÖWE, BENEDIKT

Journal:

Journal of Symbolic Logic

Year:

2016

Language:

english

File:

PDF, 167 KB

english, 2016

8

History and philosophy of infinity

Larvor, Brendan P., Löwe, Benedikt, Schlimm, Dirk

Journal:

Year:

2015

Language:

english

File:

PDF, 647 KB

english, 2015

9

Structural connections between a forcing class and its modal logic

Hamkins, Joel David, Leibman, George, Löwe, Benedikt

Journal:

Israel Journal of Mathematics

Year:

2015

Language:

english

File:

PDF, 350 KB

english, 2015

10

[Lecture Notes in Computer Science] The Nature of Computation. Logic, Algorithms, Applications Volume 7921 || The Tarski-Lindenbaum Algebra of the Class of All Strongly Constructivizable Countable Saturated Models

Bonizzoni, Paola, Brattka, Vasco, Löwe, Benedikt

Year:

2013

Language:

english

File:

PDF, 241 KB

english, 2013

11

[Trends in the History of Science] Cultures of Mathematics and Logic ||

Ju, Shier, Löwe, Benedikt, Müller, Thomas, Xie, Yun

Year:

2016

Language:

english

File:

PDF, 3.34 MB

english, 2016

12

Ordinal Definability and Recursion Theory: The Cabal Seminar, Volume III || Π12 monotone inductive definitions

Kechris, Alexander S., Lowe, Benedikt, Steel, John R.

Year:

2016

Language:

english

File:

PDF, 509 KB

english, 2016

13

[Trends in the History of Science] Cultures of Mathematics and Logic || What Are Mathematical Cultures?

Ju, Shier, Löwe, Benedikt, Müller, Thomas, Xie, Yun

Year:

2016

Language:

english

File:

PDF, 261 KB

english, 2016

14

Preface

Bernd Buldt, Benedikt Löwe, Thomas Müller

Journal:

Year:

2008

Language:

english

File:

PDF, 151 KB

english, 2008

15

Foundations of the Formal Sciences I || The Formal Sciences: Their Scope, Their Foundations, and Their Unity

Journal:

Year:

2002

Language:

english

File:

PDF, 894 KB

english, 2002

16

Playing with mixed strategies on infinite sets

Journal:

International Journal of Game Theory

Year:

2002

Language:

english

File:

PDF, 157 KB

english, 2002

17

[Lecture Notes in Computer Science] New Computational Paradigms Volume 3526 || FM-Representability and Beyond

Cooper, S. Barry, Löwe, Benedikt, Torenvliet, Leen

Year:

2005

Language:

english

File:

PDF, 144 KB

english, 2005

18

Theory of Computation at CiE 2005

S. Barry Cooper, Benedikt Lowe, Peter van Emde Boas

Journal:

Theory of Computing Systems

Year:

2007

Language:

english

File:

PDF, 136 KB

english, 2007

19

From Gödel to Einstein: Computability between logic and physics at CiE 2006

Arnold Beckmann, Edwin Beggs, Benedikt Löwe

Journal:

Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 209 KB

english, 2008

20

Cofinalities of Linear Orders

Moti Gitik, Benedikt Löwe

Journal:

Year:

1999

Language:

english

File:

PDF, 60 KB

english, 1999

21

A Global Wellordering of Norms Defined via Blackwell Games

Journal:

Year:

2005

Language:

english

File:

PDF, 280 KB

english, 2005

22

The Formal Sciences: Their Scope, Their Foundations, and Their Unity

Journal:

Year:

2002

Language:

english

File:

PDF, 58 KB

english, 2002

23

PHENOMENA, DATA AND THEORIES || Data and phenomena in conceptual modelling

Benedikt Löwe and Thomas Müller

Journal:

Year:

2011

Language:

english

File:

PDF, 1.63 MB

english, 2011

24

Cofinality and measurability of the first three uncountable cardinals

Apter, Arthur W., Jackson, Stephen C., Löwe, Benedikt

Journal:

Transactions of the American Mathematical Society

Year:

2012

Language:

english

File:

PDF, 546 KB

english, 2012

25

Ordinal Definability and Recursion Theory: The Cabal Seminar, Volume III || Trees and degrees

Kechris, Alexander S., Lowe, Benedikt, Steel, John R.

Year:

2016

Language:

english

File:

PDF, 790 KB

english, 2016

26

A parametrised choice principle and Martin's conjecture on Blackwell determinacy

Journal:

Mathematical Logic Quarterly

Year:

2006

Language:

english

File:

PDF, 87 KB

english, 2006

27

Fatal Heyting Algebras and Forcing Persistent Sentences

Leo Esakia, Benedikt Löwe

Journal:

Year:

2012

Language:

english

File:

PDF, 200 KB

english, 2012

28

[Trends in Logic] Foundations of the Formal Sciences II Volume 17 ||

Löwe, Benedikt, Malzkom, Wolfgang, Räsch, Thoralf

Year:

2003

Language:

english

File:

PDF, 43.56 MB

english, 2003

29

[ACM Press hte 13th Conference - Groningen, Netherlands (2011.07.12-2011.07.14)] Proceedings of hte 13th Conference on Theoretical Aspects of Rationality and Knowledge - TARK XIII - The synchronicity of dynamic epistemic logic

Dégremont, Cédric, Löwe, Benedikt, Witzel, Andreas

Year:

2011

Language:

english

File:

PDF, 261 KB

english, 2011

30

Pointed computations and Martin-Löf randomness

Barmpalias, George, Lewis-Pye, Andrew, Li, Angsheng, Löwe, Benedikt

Journal:

Year:

2018

Language:

english

File:

PDF, 110 KB

english, 2018

31

[Lecture Notes in Computer Science] New Computational Paradigms Volume 3526 || The Dimension of a Point: Computability Meets Fractal Geometry

Cooper, S. Barry, Löwe, Benedikt, Torenvliet, Leen

Year:

2005

Language:

english

File:

PDF, 45 KB

english, 2005

32

Ordinal Definability and Recursion Theory: The Cabal Seminar, Volume III || Definable functions on degrees

Kechris, Alexander S., Lowe, Benedikt, Steel, John R.

Year:

2016

Language:

english

File:

PDF, 580 KB

english, 2016

33

Ordinal Definability and Recursion Theory: The Cabal Seminar, Volume III || Bibliography

Kechris, Alexander S., Lowe, Benedikt, Steel, John R.

Year:

2016

File:

PDF, 292 KB

2016

34

Wadge Degrees and Projective Ordinals: The Cabal Seminar, Volume II || Closure properties of pointclasses

Kechris, Alexander S., Lowe, Benedikt, Steel, John R.

Year:

2011

File:

PDF, 224 KB

2011

35

Wadge Degrees and Projective Ordinals: The Cabal Seminar, Volume II || The axiom of determinacy and the prewellordering property

Kechris, Alexander S., Lowe, Benedikt, Steel, John R.

Year:

2011

File:

PDF, 268 KB

2011

36

Computability in Europe 2008

Arnold Beckmann, Benedikt Löwe

Journal:

Theory of Computing Systems

Year:

2011

Language:

english

File:

PDF, 158 KB

english, 2011

37

[Lecture Notes in Computer Science] How the World Computes Volume 7318 || A Direct Proof of Wiener’s Theorem

Cooper, S. Barry, Dawar, Anuj, Löwe, Benedikt

Year:

2012

Language:

english

File:

PDF, 192 KB

english, 2012

38

Primary glioblastoma cultures: can profiling of stem cell markers predict radiotherapy sensitivity?

Lemke, Dieter, Weiler, Markus, Blaes, Jonas, Wiestler, Benedikt, Jestaedt, Leonie, Klein, Ann-Catherine, Löw, Sarah, Eisele, Günter, Radlwimmer, Bernhard, Capper, David, Schmieder, Kirsten, Mittelbron

Journal:

Journal of Neurochemistry

Year:

2014

Language:

english

File:

PDF, 1.35 MB

english, 2014

39

[Lecture Notes in Computer Science] How the World Computes Volume 7318 || Towards a Theory of Infinite Time Blum-Shub-Smale Machines

Cooper, S. Barry, Dawar, Anuj, Löwe, Benedikt

Year:

2012

Language:

english

File:

PDF, 198 KB

english, 2012

40

[Lecture Notes in Computer Science] New Computational Paradigms Volume 3526 || Proof Mining in Functional Analysis

Cooper, S. Barry, Löwe, Benedikt, Torenvliet, Leen

Year:

2005

Language:

english

File:

PDF, 43 KB

english, 2005

41

[Lecture Notes in Computer Science] New Computational Paradigms Volume 3526 || Computability and Continuity on the Real Arithmetic Hierarchy and the Power of Type-2 Nondeterminism

Cooper, S. Barry, Löwe, Benedikt, Torenvliet, Leen

Year:

2005

Language:

english

File:

PDF, 184 KB

english, 2005

42

Wadge Degrees and Projective Ordinals: The Cabal Seminar, Volume II || Pointclasses and wellordered unions

Kechris, Alexander S., Lowe, Benedikt, Steel, John R.

Year:

2011

File:

PDF, 209 KB

2011

43

Games, Scales, and Suslin Cardinals: The Cabal Seminar, Volume I || Preface

Kechris, Alexander S., Lowe, Benedikt, Steel, John R.

Year:

2008

File:

PDF, 294 KB

2008

44

Wadge Degrees and Projective Ordinals: The Cabal Seminar, Volume II || More closure properties of pointclasses

Kechris, Alexander S., Lowe, Benedikt, Steel, John R.

Year:

2011

File:

PDF, 141 KB

2011

45

Comparing Inductive and Circular Definitions: Parameters, Complexity and Games

Kai-Uwe Küdhnberger, Benedikt Löwe, Michael Möllerfeld, Philip Welch

Journal:

Year:

2005

Language:

english

File:

PDF, 325 KB

english, 2005

46

GENERALIZED ALGEBRA-VALUED MODELS OF SET THEORY

LÖWE, BENEDIKT, TARAFDER, SOURAV

Journal:

The Review of Symbolic Logic

Year:

2015

Language:

english

File:

PDF, 153 KB

english, 2015

47

Mathematics of computing at CiE 2005

COOPER, S. BARRY, LÖWE, BENEDIKT, NORMANN, DAG

Journal:

Mathematical Structures in Computer Science

Year:

2006

Language:

english

File:

PDF, 206 KB

english, 2006

48

[Lecture Notes in Computer Science] New Computational Paradigms Volume 3526 || Quantum Computing

Cooper, S. Barry, Löwe, Benedikt, Torenvliet, Leen

Year:

2005

Language:

english

File:

PDF, 32 KB

english, 2005

49

Ordinal Definability and Recursion Theory: The Cabal Seminar, Volume III || HOD as a core model

Kechris, Alexander S., Lowe, Benedikt, Steel, John R.

Year:

2016

Language:

english

File:

PDF, 2.07 MB

english, 2016

50

Ordinal Definability and Recursion Theory: The Cabal Seminar, Volume III || Bibliography

Kechris, Alexander S., Lowe, Benedikt, Steel, John R.

Year:

2016

Language:

english

File:

PDF, 292 KB

english, 2016

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски